Formal Definition of the Smart Object Matching Problem
نویسندگان
چکیده
منابع مشابه
the problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولFormal operation definition in object-oriented databases
ion of the result of an expression, it is obvious that without result, a type for an expression is irrelevant. Obviously, there is more to heterogeneity than just the addition or modification of typing rules. It has a profound impact on the meaning of a type, hence on the meaning of expressions. In Section 5.3.6, we have seen that heterogeneity is one of the causes of update anomalies if not pr...
متن کاملA formal definition of an object - oriented data / knowledge model
The integration of databases and knowledge bases has become the purpose of many new AI technologies such as Intelligent Databases, Knowledge Base Management Systems, and Expert Database Systems. Object orientation has long been recognized as an appropriate approach for achieving the integration of data and knowledge management. This paper presents an objectoriented model for representing, stori...
متن کاملThe matching interdiction problem in dendrimers
The purpose of the matching interdiction problem in a weighted graph is to find two vertices such that the weight of the maximum matching in the graph without these vertices is minimized. An approximate solution for this problem has been presented. In this paper, we consider dendrimers as graphs such that the weights of edges are the bond lengths. We obtain the maximum matching in some types of...
متن کاملA Formal Definition for Object-Relational Database Metrics
Object-relational databases add to the relational model the possibility of working with new and complex data and applications. One widely accepted mechanism for assuring the quality of an object-relational database is the use of metrics and it is important to formalize the metrics for having a better understanding of their definitions. Metrics formalization assures the reliable repetition of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2018
ISSN: 1877-0509
DOI: 10.1016/j.procs.2018.04.043